(* Structure tests. *)
structure S: sig val x: int end = struct val x = true end;
